% The Computer Society usually requires 12pt for submissions.
%
\documentclass[conference]{IEEEtran}

\usepackage{array}
\usepackage{url}
\hyphenation{op-tical net-works semi-conduc-tor}
\usepackage{epsfig}
\usepackage{graphicx}
\usepackage{dsfont}
\usepackage{algorithm,algorithmic,amssymb}
\usepackage{color}
\usepackage{caption}
\usepackage{amsmath}
\usepackage{verbatim}


\graphicspath{{./figures/}}
\input{notation}
\begin{document}%

\title{Schedulability Analysis for the Dynamic Segment of FlexRay: A Generalization to Slot Multiplexing}

\author{ 
}

\IEEEcompsoctitleabstractindextext{%
\begin{abstract}
FlexRay, developed by a consortium of over hundred automotive companies, is a real-time communication protocol for automotive networks. In this paper, we propose a new approach for timing analysis of the event-triggered component of FlexRay, known as the dynamic segment. Our technique accounts for the fact that the FlexRay standard allows slot multiplexing, i.e., the same priority can be assigned to more than one message. Existing techniques have either ignored slot multiplexing in their analysis or made simplifying assumptions that severely limit achieving high bandwidth utilization. Moreover, we show that our technique returns less pessimistic results compared to previously known techniques even in the case where slot multiplexing is ignored. %We will show that existing techniques will yield significantly pessimistic results if multiplexed messages are considered. %Existing techniques for analysis of the FlexRay dynamic segment ignored slot multiplexing.
\end{abstract}
}

\author{ Bogdan Tanasa \quad Unmesh D. Bordoloi  \quad Stefanie Kosuch\quad
  \quad Petru Eles \quad Zebo Peng\\
Department of Computer Science, Link\"opings Universitet, Sweden\\
E-mail: \{bogdan.tanasa, unmesh.bordoloi, stefanie.kosuch, petru.eles, zebo.peng\}@liu.se
%\vspace*{-.7cm}
}

\maketitle

\IEEEdisplaynotcompsoctitleabstractindextext

\IEEEpeerreviewmaketitle

\input{Intro}
\input{FlexRay}
\input{TimingAnalysis}
\input{TimingAnalysis_B}
\input{TimingAnalysis_C}
\input{BinCovering}
\input{Experiments}
\input{Conclusion}
%\vspace{-1mm}
{\small
\bibliographystyle{plain}
\bibliography{papersConference}
}
\end{document}

